Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
211	On Provenance Minimization ∗ Yael Amsterdamer Daniel Deutch Tova Milo Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2011-12-31 12:11:06 Mathematics Logic Abstraction Mathematical logic Database theory Relational model Conjunctive query Model theory Relational algebra Structure Tuple FO
212	newsflash Simon ! mice ! -1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:25 Type theory Mathematical logic Inductive type Structure Logic Inductive reasoning
213	New Essays on Human Understanding Book IV: Knowledge G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been ad Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Logic Abstraction Philosophical logic Axiom Mathematical proof Maxims Self-evidence Truth Modal logic Foundations of geometry Law of thought
214	Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic
215	Proving Differential Privacy via Probabilistic Couplings Gilles Barthe? ? Marco Gaboardi‡ Add to Reading List Source URL: tpdp16.cse.buffalo.edu Language: English - Date: 2016-06-08 10:33:12 Mathematical analysis Probability Mathematics Information privacy Mathematical logic Measure theory Generalized functions Lifting theory Exponential mechanism Differential privacy IP Distribution
216	Graded dominance Libor Bˇehounek1 , Ulrich Bodenhofer2 , Petr Cintula1 , and Susanne Saminger-Platz3 1 Institute of Computer Science Academy of Sciences of the Czech Republic, Prague, Czech Republic {behounek\|cintula}@c Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2008-05-06 06:51:53 Fuzzy logic Mathematical logic Logic Mathematics T-norm Constructible universe Monoidal t-norm logic Fuzzy set Net NC Fuzzy mathematics Ordinal number
217	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
218	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
219	JOURNAL OF TVCGAutomatic Constraint Detection for 2D Layout Regularization Add to Reading List Source URL: peterwonka.net Language: English - Date: 2015-11-20 08:11:15 Constraint programming Mathematical optimization Constraint Regularization Analysis Constraint satisfaction Mathematics Applied mathematics Constraint logic programming
220	Advances in Cognitive SystemsSubmitted; publishedLearning General and Efficient Representations of Novel Games Through Interactive Instruction Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:35:25 Logic Linguistics Philosophy Grammar Predicate logic Mathematical logic Propositional calculus Ontology Predicate Argument First-order logic Clause

UPDATE